منابع مشابه
The Jónsson-Kiefer Property
The least element 0 of a finite meet semi-distributive lattice is a meet of meet-prime elements. We investigate conditions under which the least element of an algebraic, meet semi-distributive lattice is a (complete) meet of meet-prime elements. For example, this is true if the lattice has only countably many compact elements, or if |L| < 2א0 , or if L is in the variety generated by a finite me...
متن کاملWeak Distributivity implying Distributivity
Let B be a complete Boolean algebra. We show that if λ is an infinite cardinal and B is weakly (λ, ω)-distributive, then B is (λ, 2)-distributive. Using a similar argument, we show that if κ is a weakly compact cardinal such that B is weakly (2, κ)distributive and B is (α, 2)-distributive for each α < κ, then B is (κ, 2)-distributive.
متن کاملOn successors of Jónsson cardinals
We show that, like singular cardinals, and weakly compact cardinals, Jensen's core model K for measures of order zero 4] calculates correctly the successors of JJ onsson cardinals, assuming O Sword does not exist. Namely, if is a JJ onsson cardinal then + = +K , provided that there is no non-trivial elementary embedding j : K ?! K. There are a number of related results in ZF C concerning P() in...
متن کاملJónsson-style canonicity for ALBA-inequalities
The theory of canonical extensions typically considers extensions of maps A ! B to maps A ! B . In the present paper, the theory of canonical extensions of maps A ! B to maps A ! B is developed, and is applied to obtain a new canonicity proof for those inequalities in the language of Distributive Modal Logic (DML) on which the algorithm ALBA [9] is successful.
متن کاملDistributivity and Dependency
Sentences with multiple occurrences of plural definites give rise to certain effects suggesting that distributivity should be modeled by polyadic operations. Yet, in this paper it is argued that the simpler treatment of distributivity using unary universal quantification should be retained. Seemingly polyadic effects are claimed to be restricted to definite NPs. This fact is accounted for by th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra universalis
سال: 2018
ISSN: 0002-5240,1420-8911
DOI: 10.1007/s00012-018-0491-2